Kung-Kiu Lau : rechercher sur Z-Library

Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Libre accès à la connaissance et à la culture.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Livres (26)
Les plus populaires
Liste
- Liste
- Tableau

1

Component-Based Software Development: Case Studies

Component-Based Software Development: Case Studies

World Scientific Publishing Company

Année:

2004

Langue:

english

Fichier:

PDF, 18.48 MB

0 / 0

english, 2004

2

An Introduction to Component-based Software Development

An Introduction to Component-based Software Development

World Scientific

Kung-Kiu Lau, Simone Di Cola

Année:

2016

Langue:

english

Fichier:

PDF, 2.83 MB

0 / 0

english, 2016

3

Component-based software development: case studies

Component-based software development: case studies

World Scientific

Année:

2004

Langue:

english

Fichier:

PDF, 18.38 MB

0 / 0

english, 2004

4

Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development

Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development

Springer-Verlag Berlin Heidelberg

Kung-Kiu Lau, Mario Ornaghi (auth.), Maurice Bruynooghe, Kung-Kiu Lau (eds.)

Année:

2004

Langue:

english

Fichier:

PDF, 12.00 MB

0 / 0

english, 2004

5

Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings

Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

John Alan Robinson (auth.), John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey (eds.)

Année:

2000

Langue:

english

Fichier:

PDF, 13.12 MB

0 / 0

english, 2000

6

Component-Based Software Engineering: 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings

Component-Based Software Engineering: 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Kung-Kiu Lau, Vladyslav Ukis (auth.), Ian Gorton, George T. Heineman, Ivica Crnković, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau (eds.)

Année:

2006

Langue:

english

Fichier:

PDF, 6.08 MB

0 / 0

english, 2006

7

Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development

Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development

Springer-Verlag Berlin Heidelberg

Kung-Kiu Lau, Mario Ornaghi (auth.), Maurice Bruynooghe, Kung-Kiu Lau (eds.)

Année:

2004

Langue:

english

Fichier:

PDF, 4.13 MB

0 / 0

english, 2004

8

Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings

Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Kung-Kiu Lau (auth.), C. Neville Dean, Raymond T. Boute (eds.)

Année:

2004

Langue:

english

Fichier:

PDF, 5.62 MB

0 / 0

english, 2004

9

Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings

Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Anthony Hall (auth.), Kung-Kiu Lau, Richard Banach (eds.)

Année:

2005

Langue:

english

Fichier:

PDF, 5.98 MB

0 / 0

english, 2005

10

Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings

Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Anthony Hall (auth.), Kung-Kiu Lau, Richard Banach (eds.)

Année:

2005

Langue:

english

Fichier:

PDF, 6.39 MB

0 / 0

english, 2005

11

Component-Based Software Engineering: 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings

Component-Based Software Engineering: 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Kung-Kiu Lau, Faris M. Taweel (auth.), Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 7.79 MB

0 / 5.0

english, 2007

12

LNCS 8135 - Service-Oriented and Cloud Computing

LNCS 8135 - Service-Oriented and Cloud Computing

Kung-Kiu Lau, Winfried Lamersdorf & Ernesto Pimentel (eds.)

Année:

2013

Langue:

english

Fichier:

PDF, 5.60 MB

0 / 5.0

english, 2013

13

Вoеннo-статистическoе oбoзрение Рoссийской Империи, Екатеринославская губерния (Том-11, Часть-4)

Вoеннo-статистическoе oбoзрение Рoссийской Империи, Екатеринославская губерния (Том-11, Часть-4)

Kung-Kiu Lau, Timothy P. Clement

Année:

1850

Langue:

russian

Fichier:

DJVU, 15.62 MB

0 / 0

russian, 1850

14

Component-Based Software Engineering: 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings

Component-Based Software Engineering: 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Kung-Kiu Lau, Faris M. Taweel (auth.), Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 5.70 MB

0 / 0

english, 2007

15

Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings

Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Kung-Kiu Lau (auth.), C. Neville Dean, Raymond T. Boute (eds.)

Année:

2004

Langue:

english

Fichier:

PDF, 22.56 MB

0 / 0

english, 2004

16

Component-Based Software Engineering: 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings

Component-Based Software Engineering: 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Kung-Kiu Lau, Vladyslav Ukis (auth.), Ian Gorton, George T. Heineman, Ivica Crnković, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau (eds.)

Année:

2006

Langue:

english

Fichier:

PDF, 7.70 MB

0 / 0

english, 2006

17

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Springer-Verlag Berlin Heidelberg

Kung-Kiu Lau, Mario Ornaghi, Zheng Wang (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Année:

2006

Langue:

english

Fichier:

PDF, 3.85 MB

0 / 0

english, 2006

18

Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers

Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers

Springer-Verlag Berlin Heidelberg

Kung-Kiu Lau (auth.)

Année:

2001

Langue:

english

Fichier:

PDF, 1.48 MB

0 / 0

english, 2001

19

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992

Springer-Verlag London

Ina Kraan, David Basin, Alan Bundy (auth.), Kung-Kiu Lau Bsc, PhD, Timothy Paul Clement Ma, DPhil (eds.)

Année:

1993

Langue:

english

Fichier:

PDF, 10.01 MB

0 / 0

english, 1993

20

Service-Oriented and Cloud Computing: Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedings

Service-Oriented and Cloud Computing: Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Michel Catan, Roberto Di Cosmo, Antoine Eiche, Tudor A. Lascu, Michel Lienhardt (auth.), Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel (eds.)

Année:

2013

Langue:

english

Fichier:

PDF, 5.60 MB

0 / 0

english, 2013

21

Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings

Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

John Alan Robinson (auth.), John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey (eds.)

Année:

2000

Langue:

english

Fichier:

PDF, 17.77 MB

0 / 0

english, 2000

22

Service-Oriented and Cloud Computing: Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014. Proceedings

Service-Oriented and Cloud Computing: Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014. Proceedings

Springer-Verlag Berlin Heidelberg

Massimo Villari, Wolf Zimmermann, Kung-Kiu Lau (eds.)

Année:

2014

Langue:

english

Fichier:

PDF, 12.52 MB

0 / 0

english, 2014

23

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University ... 2-3 July 1992

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University ... 2-3 July 1992

Kung-Kiu Lau, Timothy P. Clement

Année:

1993

Langue:

english

Fichier:

DJVU, 2.61 MB

0 / 0

english, 1993

24

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991

Springer-Verlag London

Jonathan M. Lever (auth.), Timothy Paul Clement MA, DPhil, Kung-Kiu Lau BSc, PhD (eds.)

Année:

1992

Langue:

english

Fichier:

PDF, 12.92 MB

0 / 0

english, 1992

25

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Springer-Verlag Berlin Heidelberg

Kung-Kiu Lau, Mario Ornaghi, Zheng Wang (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Année:

2006

Langue:

english

Fichier:

PDF, 3.67 MB

0 / 0

english, 2006

26

Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers

Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers

Springer-Verlag Berlin Heidelberg

Kung-Kiu Lau (auth.)

Année:

2001

Langue:

english

Fichier:

PDF, 3.77 MB

0 / 0

english, 2001